inductive assertion
美英
- un.归纳断言
- 网络归纳主张
inductive assertioninductive assertion
归纳断言
他认为使用SETL高级语言,不但使程序编写得简短,而且在描述归纳断言(inductive assertion)方面也是自足的。Schwartz教授也 …
归纳主张
Download It -... ... 感应变数 induction variable 归纳主张 inductive assertion 归纳断言法 inductive assertion method ...